Hardware description languages

#	Item
361	PDF Document Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 SystemC Electronic design automation Transaction-level modeling Promela Scheduling SPIN model checker Electronic engineering Hardware description languages Model checkers
362	PDF Document Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2008-08-18 08:05:36 SystemC VHDL Verilog Denotational semantics Parallel computing Semantics Programming language Electronic engineering Hardware description languages Electronic design automation
363	PDF Document Add to Reading List Source URL: ens.ewi.tudelft.nl Language: English - Date: 2010-10-29 06:55:36 Clock signal Synchronization Formal methods Asynchronous circuit Hardware description languages Digital electronics SIGNAL Asynchrony Synchronous circuit Electronic engineering Electrical circuits Electrical engineering
364	PDF Document Add to Reading List Source URL: cva.stanford.edu Language: English - Date: 2007-01-10 17:02:49 E Field-programmable gate array ARM architecture SystemVerilog Verilog-AMS Electronic engineering Hardware description languages Verilog
365	PDF Document Add to Reading List Source URL: sutherland-hdl.com Language: English - Date: 2012-11-02 18:47:17 Verilog Logic design SystemVerilog Electronic engineering Hardware description languages Digital electronics